Le prochain séminaire aura lieu le 02 Mai 2024

Les 3 derniers séminaires du LIM

Singular spectrum analysis" (SSA) avec une application en climatologie

Animé par Teodor Kanpik, le 06 Mai 2024 à 13:30:00

Cet exposé présente un travail réalisé dans le cadre d'une collaboration avec l'Université d'Antananarivo. Il s’agit d’utiliser une méthode avancée d’analyse de séries temporelles à des fins de prévision. Les expérimentations numériques présentées exploitent des données climatologiques et les prévisions sont des prévisions météorologiques de longue durée. On s’interroge ici sur la sélection des paramètres de la SSA et l’automatisation de cette sélection. La qualité de cette sélection est en effet essentielle pour l’exactitude des prévisions obtenues.

Convergence du classement Elo

Animé par Stéphane Junca, le 06 Mai 2024 à 15:30:00

Le Elo est une méthode de classement inventée pour les tournois d’échecs puis popularisée pour d’autres sports, les joueurs sur internet, le classement de données … Peu d’études mathématiques on été faites sur le classementElo. On commencera à présenter le modèle initial au niveau microscopique des joueurs comme une chaîne de Markov puis au niveau mésoscopique: Equations aux Dérivées Partielles cinétique. La question de la validité de cette méthode de classement et de la convergence sera discutée.

Lindenmayer graph languages, first-order theories and expanders

Animé par Teodor Kanpik, le 02 Mai 2024 à 14:00:00

Imagined by Kolmogorov in the middle of past century, expanders form remarkable graph families with applications in areas as diverse as robust communication networks and probabilistically checkable proofs, to name just two. Since the proof of the existence of expanders, it took several years to come up with an explicit algebraic construction [Margulis 1973] of some expander families. Their first elementary (combinatorial) construction has been published in 2002 and awarded Gödel Prize in 2009. In this talk we introduce a framework that captures most of known combinatorial constructions of expanders. It is based on a generalisation of Lindenmayer systems to the domain of graphs. We call this formalism Lindenmayer graph grammars. We indentify a few essential properties which make decidable the language checking problem with respect to first-order sentences. This result is obtained by encompassing a graph language into an automatic structure. By language checking in this specific context we mean the following problem. Instance: a Lindenmayer graph grammar and a first-order sentence Question: Do there exists a graph in the language for which the sentence holds?